PHP extension for visual studio code